Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
481	Context-Based Incremental Generation for Dialogue Matthew Purver1 and Ruth Kempson2 Departments of 1 Computer Science and 2 Philosophy, King’s College London, Strand, London WC2R 2LS, UK {matthew.purver, ruth.kempson}@ Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2009-01-26 11:47:40 Computing Compiler construction Parsing Compiling tools Syntax Tree-adjoining grammar Formal grammar Natural language understanding Language Formal languages Software engineering Programming language implementation
482	Ways of Breaking out of Normal Interpretation and Meaning English Sentences Compare these two sentences: Say your name out loud. Say "your name" out loud. By wrapping those two words in quotes they are broken out of thei Add to Reading List Source URL: www.xfront.com Language: English - Date: 2011-12-06 08:14:27 Formal languages Meaning Philosophical logic Regular expression Schematron Asterisk Sed Expression Interpretation Computing Philosophy of language XML
483	SpeakApps Oral production and interaction in a foreign language through online ICT tools Very often formal second or foreign language acquisition settings do not provide enough room for everyone in the classroom to prac Add to Reading List Source URL: langblog.test.speakapps.org Language: English - Date: 2014-03-18 08:11:52 Language education Open University of Catalonia E-learning Information and communication technologies in education Blended learning Computer-assisted language learning Education Distance education Educational technology
484	Exploiting Big Data from the Deep Web The new frontier for creating intelligence by Steve Pederson, CEO – BrightPlanet Corporation This whitepaper addresses three key topics in the field of harvesting and curating open Add to Reading List Source URL: bigdata.brightplanet.com Language: English - Date: 2012-07-16 21:27:17 Business Information technology management Formal sciences Natural language processing Data analysis Unstructured data Open-source intelligence Analytics Text analytics Business intelligence Statistics Data management
485	How to Build Applications with a Sound Foundation Add to Reading List Source URL: www.xfront.com Language: English - Date: 2014-02-23 08:33:03 Compiler construction Parser generators Formal languages Compiling tools Parsing SYNTAX Lexical analysis ANTLR Formal grammar Programming language implementation Software engineering Software
486	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:10:59 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
487	PDF Document Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-18 06:17:22 Software engineering Unified Modeling Language Electronic engineering Formal methods Systems engineering Computing Esterel Systems Modeling Language SIGNAL Hardware description languages Synchronous programming languages Esterel Technologies
488	TOOL OF THE INTELLIGENCE ECONOMIC: RECOGNITION FUNCTION OF REVIEWS CRITICS. Extraction and linguistic analysis of sentiments Grzegorz Dziczkowski, Katarzyna Wegrzyn-Wolska Ecole Superieur d’Ingenieurs en Informatique e Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-09-08 05:27:24 Language Computational linguistics Formal languages Speech recognition Semiotics Syntax Natural language processing Formal grammar Classifier Linguistics Science Grammar
489	Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 09:15:07 Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory
490	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:01:47 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages

UPDATE